TSTP Solution File: ITP111^1 by Nitpick---2016